Internet Archive BookReader - The marking system in theory and practice